k = 7 < 8
